David Basin: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (26)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Рік:

2005

Мова:

english

Файл:

PDF, 996 KB

0 / 0

english, 2005

2

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 12.00 MB

0 / 0

english, 2004

3

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 3.51 MB

0 / 0

english, 1994

4

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Рік:

2003

Мова:

english

Файл:

PDF, 2.93 MB

0 / 0

english, 2003

5

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 4.40 MB

0 / 0

english, 2004

6

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Рік:

2004

Мова:

english

Файл:

DJVU, 9.11 MB

0 / 0

english, 2004

7

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 6.39 MB

0 / 0

english, 2010

8

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 10.61 MB

0 / 0

english, 2009

9

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 8.67 MB

0 / 0

english, 2010

10

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.05 MB

0 / 0

english, 2009

11

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 8.73 MB

0 / 0

english, 2010

12

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 6.47 MB

0 / 0

english, 2010

13

信息安全实用教程

信息安全实用教程

北京：国防工业出版社

（瑞士）大卫·贝森（DAVID BASIN），帕特里克·沙勒（PATRICK SCHALLER），迈克尔·施莱普菲儿著；张涛，王金双，赵敏译, 贝森 (Basin, David)

Рік:

2015

Мова:

Chinese

Файл:

PDF, 33.86 MB

0 / 0

Chinese, 2015

14

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

Рік:

2022

Мова:

english

Файл:

PDF, 10.40 MB

4.0 / 5.0

english, 2022

15

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

Рік:

2011

Мова:

english

Файл:

PDF, 1.43 MB

0 / 0

english, 2011

16

Labelled Deduction

Labelled Deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

Рік:

2000

Мова:

english

Файл:

PDF, 9.36 MB

0 / 0

english, 2000

17

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

Рік:

2011

Мова:

english

Файл:

PDF, 1.58 MB

0 / 4.5

english, 2011

18

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

Рік:

1993

Мова:

english

Файл:

PDF, 10.01 MB

0 / 0

english, 1993

19

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Рік:

2003

Мова:

english

Файл:

PDF, 1.79 MB

0 / 0

english, 2003

20

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Rémy Chrétien, Stéphanie Delaune (auth.), David Basin, John C. Mitchell (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 3.46 MB

0 / 0

english, 2013

21

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

Рік:

1994

Мова:

english

Файл:

PDF, 6.81 MB

0 / 0

english, 1994

22

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.50 MB

0 / 0

english, 2009

23

Labelled deduction

Labelled deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

Рік:

2000

Мова:

english

Файл:

DJVU, 2.27 MB

0 / 0

english, 2000

24

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.45 MB

0 / 0

english, 2009

25

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 4.74 MB

0 / 0

english, 2009

26

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

Рік:

2022

Мова:

english

Файл:

PDF, 10.40 MB

0 / 5.0

english, 2022